Cauchy first theorem